homotopy associative space

См. также в других словарях:

• Loop space — In mathematics, the space of loops or (free) loop space of a topological space X is the space of loops from the unit circle S 1 to X together with the compact open topology. :Omega X = mathcal{C}(S^1, X).That is, a particular function space. In… …   Wikipedia

• A∞-operad — In the theory of operads in algebra and algebraic topology, an A∞ operad is a parameter space for a multiplication map that is associative up to all higher homotopies, but not necessarily commutative. (An operad that describes a multiplication… …   Wikipedia

• Path (topology) — The points traced by a path from A to B in R². However, different paths can trace the same set of points. In mathematics, a path in a topological space X is a continuous map f from the unit interval I = [0,1] to X f : I → X. The initial… …   Wikipedia

• Operad theory — is a field of abstract algebra concerned with prototypical algebras that model properties such as commutativity or anticommutativity as well as various amounts of associativity. Operads generalize the various associativity properties already… …   Wikipedia

• E∞-operad — In the theory of operads in algebra and algebraic topology, an E∞ operad is a parameter space for a multiplication map that is associative and commutative up to all higher homotopies. (An operad that describes a multiplication that is associative …   Wikipedia

• Functor — For functors as a synonym of function objects in computer programming to pass function pointers along with its state, see function object. For the use of the functor morphism presented here in functional programming see also the fmap function of… …   Wikipedia

• Emmy Noether — Amalie Emmy Noether Born 23 March 1882(1882 03 23) …   Wikipedia

• mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

• Derived category — In mathematics, the derived category D(C) of an abelian category C is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on C. The construction proceeds on the… …   Wikipedia

• Complex cobordism — In mathematics, complex cobordism is a generalized cohomology theory related to cobordism of manifolds. Its spectrum is denoted by MU. It is an exceptionally powerful cohomology theory, but can be quite hard to compute, so often instead of using… …   Wikipedia

• Quasigroup — In mathematics, especially in abstract algebra, a quasigroup is an algebraic structure resembling a group in the sense that division is always possible. Quasigroups differ from groups mainly in that they need not be associative. A quasigroup with …   Wikipedia